Design A Method for Detecting the Inconsistent Loops in the Specification of Multimedia Hyper-Presentation Using Petri-Net

This paper introduces the method of describing the hyper-presentation using Petri-Net and proposes the method of detecting inconsistent hyper-link loop in the hyper-presentation description. The concept of a hyper-presentation, as an extension of a hypermedia, is the presentation in which time-varying multimedia presentations are dynamically linked together and a hyperlink’s context can be changed over time at any time during a continuous presentation. For the purpose of detecting such inconsistent hyperlinked loop, we propose Multi Dimensional Timed Petri-Net Model for specification of a multimedia hyperPresentation. Then, based on the model, two methods, one for detecting the inconsistent loop and the other for finding the critical path for the actual presentation of the hyper-Presentation specification are described.